منابع مشابه
مقدمه ای بر: تکنولوژی data base و اداره سازمان
در ادراه امور سازمان نیز از تکنولوژی data base در دو زمینه مشخص یعنی بصورت سیستم های عملیاتی و سیستم های اطلاعاتی میتوان استفاده کرد. در شرایط کنونی وجود موانع متعدد از قبیل فرهنگ غالب در سازمان های بزرگ و طرز تلقی مدیران دیوان سالار از یکطرف و تازه گی و پیچیده بودن فنون مربوط به سیتم های data base فقدان دانش، تجربه و تخصص کافی برای بهره گیری کامل از آن از طرف دیگر، برنامه ریزی و اقدام برای ایج...
15 صفحه اولMissing the (acu) point.
priorities permit. The comments should not exceed 350 words in length, with a maximum of five references; one figure or table can be printed. Exceptions may occur under particular circumstances. Contributions may include comments on articles published in this periodical, or they may be reports of unique educational character. Please include a cover letter with a complete list of authors (includ...
متن کاملDetecting Modular ACU Structural Symmetries
We present an efficient encoding of order-sorted modular ACU terms into colored directed graphs. Then, by computing the automorphism groups of the encoded graphs, we are able to extract modular ACU structural symmetries both inside a term and across a set of terms. Finally, we show how the computed symmetries can be applied to the optimization of the equational generalization algorithms for mod...
متن کاملTopical Issue: Acu-obesity and Diabetes.
Obesity hasbecomeamajorpublic health issueworldwide. It is a contributing factor in diabetes, cardiovascular disease, hypertension, stroke, cancer, osteoarthritis, asthma, and sleep apnea [1], and one of the components ofmetabolic syndrome. Metabolic syndrome is a state of chronic low-grade inflammation as a consequence of a complex interaction between genetic and environmental factors. It is c...
متن کاملUnification Modulo ACU I Plus Homomorphisms/Distributivity
E-unification problems are central in automated deduction. In this paper, we consider theories that are extensions of the well-known ACI or ACUI , obtained by adding finitely many homomorphism symbols, or a symbol ‘∗’ that distributes over the ACUIsymbol denoted ‘+’. We first show that when we adjoin a set of commuting homomorphisms to ACUI , unification is undecidable. We then consider the ACU...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the New Zealand Plant Protection Conference
سال: 1994
ISSN: 1172-0719
DOI: 10.30843/nzpp.1994.47.11075